soundness of inference rules

推理规则的合法性